Cpn相关论文
随着我国城市化进程的快速推进,城市轨道交通在满足乘客出行需求和缓解城市交通拥堵方面发挥了极大的作用。在城轨运营网络成型,且......
海运在物流体系中占据着主导地位,港口作为连接海陆货运的物流枢纽,承载着重要的作用。堆场在港口作业链中起到起承转合的作用,是......
近年来,国内外广泛开展列车虚拟编组的研究,其特点主要有:以车车通信替代物理联结使多列车以较小间隔同速行驶,从而将多列车视为一......
并发软件在软件行业中扮演了一个重要角色,可靠的软件质量需要全面的测试工作来保证。并发软件执行过程非常复杂,系统的状态数目巨......
车载中心化的列控系统是面向我国西部地区的新型列控系统,目前正处于理论探索和方案设计阶段。该系统采用卫星定位、多模通信、运......
随着信息技术的快速发展,智能建筑成为“互联网+”和建筑行业深度融合的方向和突破口,而网络安全漏洞的爆发式增长、移动互联网、......
人体姿态估计是计算机视觉领域中的一个重要研究方向,用来实现从图像或视频中检测人体若干关键点位置,以帮助机器更好地解读人的行......
近年来,随着物联网、虚拟现实、人工智能等新兴技术的突飞猛进,云计算、大数据基础设施的不断完善,建筑智能化行业得到快速发展,楼......
具有并发行为的软件在社会生产和生活中越来越常见,但并发行为发生顺序的不确定性给软件测试带来巨大挑战。着色Petri网CPN(Colour......
区块链智能合约是运行在区块链网络中的代码,它能够根据外部环境条件自动执行相应的规则,完成对应的交易和数字资产的转移.Auction......
期刊
建模对安全防护能力评估具有重要作用。结合安全防护能力评估方法多、更新快的特点,提出了基于监测、分析和响应的安全防护能力分......
Quality of service(QoS)routing algorithms have been hardly discussed in the scientific community,most previous work on Q......
有色petri网(CPN)理论是对离散事件动态系统(DEDS)进行建模的有利工具,针对装备维修保障系统的特点,将CPN理论引入装备维修保障系......
本文比较当前流行的工作流模型，提出基于CPN的工作流模型具有过程建模与检测相结合的优点。给出CPN的定义并从资源角度定义CPN工作......
[目的]探讨基于CPN神经网络集成的蛋白质二级结构预测模型的效果.[方法]借助神经网络集成方法对从36个蛋白质提取的共4 000个氨基......
主要通过路面芯样进行路面车辙的原因分析,通过工程实践证明:在道路施工时中面层上部采用聚酯玻纤布进行裂缝处理的路面很容易发生......
BT系统的健壮性与稳定性受到参与节点合作程度的影响,然而大多数参与者的行为是自私的,常以最大化下载量和最小化上传量的方式进行......
具体针对IPRAN技术要点以及应用价值进行细致讨论，随后联合关键衔接节点实施运行机制探析，争取将相关网络运营特征梳理全面，确保后期......
提出了一种用有色Petri网对安全协议建模，并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroed......
介绍了下一代有线电视用户驻地网的结构、物理层及数据链路层配置、仿真建模，并对仿真结果进行分析，认为以太网交换器作为核心的星型......
文章通过对SIP协议邀请交互和服务器交互的分析，利用着色PetriN来模拟一个SIP协议的交互过程。利CPNTOOLS建立一个SIP交互模型，并通......
通常的指纹识别算法因为预处理步骤过于复杂而明显地存在计算量过大、识别速度慢等缺点。提出一种基于小波变换和对传网络的指纹识......
针对传统对传网络(CounterPropagationNetwork,CPN)模型和学习算法存在的问题和不足,提出改进模型及竞争层的改进算法。在竞争层使......
提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性.在对BPEL4WS的基本活动和结构性活动进......
高级网的引入，大大增强了petri网的描述能力，但也导致了重复开发相似的仿真工具，造成了极大的浪费，不利于学术界的整体发展。有色petri......
在SPIN路由协议的基础上,根据环境监测领域的应用特点,提出一种无线传感器网络的路由协议设计方案。利用颜色Petri网的CPN Tools对......
多智能体系统体系结构及协作机制是多智能体理论研究的核心与热点问题．作为一种新兴的研究方法．基于协进化机制的多智能体协作具有广......
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在......
软件测试是质量保证和故障检测最常用的方法。然而，它也是软件开发生命周期中最昂贵的和耗时的活动。基于代码的和基于规则说明的软......
密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采......
针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程......
CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统......
尼泊尔联合共产党（毛泽东主义），将“毛泽东主义”作为其主导意识形态，在近20年的奋斗历程中，取得了很大的成就。期间，尼共（毛）分别经历了人......
以单路口交通控制为研究对象，指出了传统单路口控制策略中存在的一些缺陷，提出一种优化的交通信号控制策略：实时自适应控制。按照该策......
[摘 要] 新型有线数字电视传送网络的调度、管理、计费等由BOSS构架规划。新型有线数字电视传送网络的协议基于以太网协议加强。城......
有色Petri网（CPN）fie为目前离散动态系统建模中最活跃的建模工具之一，不仅有充分的模拟能力和丰富的分析方法，还便于使用和理解。首先......
在分析基于CPN（Colored Petri Net）仿真的体系结构验证评估过程的基础上，对体系结构产品到可执行模型的转换方法进行了探讨，并结合实例......
通过对装备维修工艺过程及其特点的分析,确定了基于Petri网建模方法的维修工艺优化过程模型。首先依据基本的维修拆卸规则和Petri......
运用着色Petri网建模分析工具CPN Tools对小灵通彩铃和双振业务建模，提出分层网络结构，将电信网络以网元为基础建模。通过对模型结构......
普通Petri网对冷水机组群控制能力较弱，数量仅限于少台组群，若数量增多则网络过于庞杂。该文介绍一种流量／热量法实现对多台冷水机组......
针对移动计算环境下的动态资源描述问题,提出了基于有色Petri网的动态资源模型——DRM-CPN模型.该模型首先按照一定的映射规则将物......
分析了固定路径与传统的TCP/IP在传输数据方式不同的基础上,提出了一种基于固定路径的可靠数据传输机制.并利用着色Petri网（CPN）对该......
针对网络控制系统中存在多任务、多消息并发执行,容易产生死锁,研究了对1553B总线的网络控制系统中的任务和消息建立着色Petri模型......
基于自适应OFDMA系统，对多业务系统中基于总发射功率最小化的无线资源管理问题进行研究，并使用着色Petri网（CPN，colouredPetrinets）以及......
主要对象为汽车备件配送中心，以快速响应客户需求为主要目标，在备件配送中心的保管布局上引进动管和补管的概念，并对动管和补管的运用......
目的 探讨冠心病（CHD）患者血浆甘露聚糖结合凝集素（MBL）含量及肺炎衣原体（Cpn）感染情况及冠心病的可能致病机制。方法 采集100例CHD患者......
随着国家对流域水质改善要求的逐渐提高,流域污染源管理变得日益重要。提出了一种基于CPNTOOLS的辽河流域畜禽养殖行业污染源仿真......
